(declare-const i2 Int)
(push)
(assert false)
(check-sat)
(pop)
(check-sat)
(check-sat)
(push)
(assert (xor true true true true (>= 43 (div i2 38)) true true true true true))
(push)
(pop)
(pop)
(assert (xor false true (= 0 (div i2 38)) true true true true))
(check-sat)
